El presente trabajo pretende analiza casos de procesos y dramas sociales vinculados a eventos generados en la vía pública, donde el comportamientos de conductores y peatones está atravesado por reglas y valores que más allá de estar legislada por las leyes y normas de tránsito, se sitúa en los preceptos de una vida moral laica que actúa restituyendo el orden público/vial frente a cualquier acto que lo amenace. En este sentido se apela a conceptos como el de solidaridad, moralidad y (...) anomia. Por último se reflexiona sobre la transgresión a las normas viales. (shrink)

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.

This text aims to perform a “fly over” the Philosophy for Children program--created by the philosopher and educator Matthew Lipman-–in order to identify certain philosophical problems that might appear there, one of them being the issue of universality. In response to Lipman’s claims of universality, we try to uncover his underlying ideological position that informs his approach to the concept. To achieve that goal, we return to the program’s beginnings, in order to ask how the idea of Philosophy for Children (...) appeared and how it has developed up to the present moment. We argue that Lipman’s novel proposal to think philosophically with children emerged, in part, as a response to the student movements of 1968--a response, that is, to a specific political context that was marked by strong social and ideological disputes. Finally, we make a comparative analysis of the social and political context that informs Latin American Philosophy, and the extent to which it, also, has been shaped by a pragmatic response to a particular historical moment. The difference between the Anglo-American and the Latin American contexts is here characterized as an obstacle to a certain “universal” logos to which the Lipmanian project is linked. Our analysis is aided by the Discourse of marginalization and barbarism, produced by the Mexican philosopher Leopoldo Zea. (shrink)

George Santayana appears emotionally distant and personally uncommitted in many of his writings. In what may have been a related phenomenon, he does not seem to have committed to any school of philosophy, but rather to draw from many of the available schools when it suited him. In this article, we assess his constantly changing use of different philosophies and its implications for both philosophy and politics.

This paper examines some passages in the Treatise on Human Nature in which Thomas Aquinas, following Themistius, refers to Plato’s analogies between the sun and the soul in order to prove that the agent intellect is something that belongs to the soul. It also analyzes the analogy between the light and the soul that Aquinas mentions, which is taken from Aristotle. The main task at hand will be to revisit the question of how Aquinas interprets Plato and Aristotle in this (...) particular section of the Treatise on Human Nature. (shrink)

La crítica de los valores ejercida por Nietzsche problematiza el origen de los valores. La filosofía tradicional considera que éstos tienen un origen privilegiado, ya sea de naturaleza teológica o metafísica. Este origen supremo es lo que les otorga una validez incuestionable. El pensador alemán se opone a esta convicción y propone la tesis contraria: los valores provienen, no de una región plena de realidad, sino de un ámbito sujeto al cambio, al azar y a la contingencia. Esto posibilita concebir (...) los valores sumos como creaciones humanas susceptibles de examen. La crítica de los valores suscita así un extrañamiento ante lo familiar, pues los valores heredados se tornan ajenos. De igual forma, conlleva un ejercicio de remoción de máscaras encubridoras que busca exhibir aquello que se oculta en los valores heredados, a saber, el carácter nihilista de los principios fundamentales de la cultura occidental. (shrink)

On tachera d’exposer, dans ce bref texte, tout d’abord, les motivations qu’on a pouraffirmer que la subjectivité demande un effort pour satisfaire l’exigence ontologique quiest constitutive de son être. Ceci demandera, d’abord, l’explication de certains motscomme exigence ontologique, recueillement et humilité. Ensuite, on verra si, et comment,une telle exigence peut être satisfaite. On s’appuiera, pour faire ceci, sur les réflexions duphilosophe français Gabriel Marcel, qui a avancé, notamment dans Le mystère de l’être etHomo Viator, des importantes contributions à ce sujet. (...) La philosophie de Gabriel Marcelsera analysée, non seulement dans sa production « systématique », mais aussi dans cellethéâtrale, car c’est dans le caractère dramatique de la pièce théâtrale qu’une expérience del’absolu peut d’abord se produire et ensuite s’alimenter. En effet, dans la conviction quecette expérience a besoin de la communication indirecte du théâtre et de la poésie, on seraautorisé à en faire recours. On montrera, alors, en suivant une analyse gnoséologique,d’abord (I) comment la définition de la subjectivité comme effort est nécessaire et exacteet puis (II) comment cette exigence ontologique peut être satisfaite. (shrink)

El texto que se presenta aquí es la segunda parte de la traducción de New Theory of Universalsy se corresponde con las últimas secciones del artículo original. En el anterior número de Ideas y Valores (157 de abril de 2015) se publicó la primera parte, que corresponde a la introducción y las dos primeras secciones del original.

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

The polarisation of the embryonic anteroposterior (AP) axis requires the establishment of positional cues with spatial information, and often involves complex intercellular communications, cell adhesion and cell movement. Recent work on several fronts has begun to shed light on how the initial asymmetries are established and maintained. In this review, I discuss the polarisation of the AP axis during Drosophila oogenesis, focusing on the function of the Notch signalling pathway and its relationship to the activation of the epidermal growth factor (...) receptor. I make special reference to some aspects of Notch activity regulation during oogenesis that appear to depart from the canonical pathway. Finally, I hypothesise on possible similarities between these activities of Notch signalling during Drosophila oogenesis and vertebrate somitogenesis. BioEssays 25:781–791, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

El artículo tiene por objetivo mostrar la unión entre la moral y la educación en el pensamiento de John Stuart Mill. De dicha unión se sigue un modelo que conjuga transversalmente la diversidad, costumbres sociales y opinión pública. La sociedad es plural y diversa, siguiendo de ello la necesidad de una educación moral que esté dirigida por la tolerancia entre todos los ciudadanos.

En esta ponencia se exponen los diversos caminos de acceso a la Verdad que históricamente se han dado en el Islam: la tradición, la razón y el corazón. Estos dos últimos dan lugar a la filosofía y a la mística. A la vez que se señalan algunas coincidencias entre ellas, también se ponen de relieve las divergencias que las separan.

En esta ponencia se exponen los diversos caminos de acceso a la Verdad que históricamente se han dado en el Islam: la tradición, la razón y el corazón. Estos dos últimos dan fugar a la filosofía y a fa mís tica. A la vez que se señalan algunas coincidencias entre ellas, también se ponen de relieve las divergencias que las separan.

En esta ponencia se exponen los diversos caminos de acceso a la Verdad que históricamente se han dado en el Islam: la tradición, la razón y el corazón. Estos dos últimos dan fugar a la filosofía y a fa mís tica. A la vez que se señalan algunas coincidencias entre ellas, también se ponen de relieve las divergencias que las separan.

Ya Hesíodo hace más de 25 siglos escribía al principio de “Los trabajos y los días” [1] que el sustento, aquello que hace vivir a los hombres, los dioses lo han ocultado, pues de otro modo con trabajar un solo día, podríamos tener todo el año para no hacer prácticamente nada. Si fuera igual de fácil descubrir con la filosofía la explicación de las cosas, con pensarlas un rato sería suficiente y podríamos dedicar el resto del año a no pensar (...) prácticamente nada. Hoy en día la filosofía se halla en un período de disgregación, de fragmentación que no consigue producir un discurso unitario, un discurso coherente sobre la realidad. Este artículo pretende demostrar que la única manera de concebir la filosofía es como esfuerzo constante de reactivación del pensamiento, en donde la verdad, de existir, radica en nuestra propia actividad. [1] HESIODO: Los trabajos y los días , I. 40-45. (shrink)

This article presents the so-called “ontological argument” from a comparison with the “regula” Anselms establishes in his Monologion, c. 15. This rule would allow, under a certain respect, to consider existence as a perfection attributable to God, even though it does not possess the same ontological status of any other attribute, i.e. cannot be considered a real predicate. Consequently, it is possible to outline the different senses in which Anselm understands the notion of “being” and the conditions under which existence (...) and real perfection can transcend the sphere of creatures and help conceiving God. This distinction of the senses of being would later allow for existence to be considered a perfection, just as real predicates are, but according to a completely different meaning. (shrink)

This research tries to emphasize the unofficial treatment of historical facts in the new historical novels. Los perros del paraíso (Paradise Dogs), by Argentinean writer Abel Posse, shows a particular management of eroticism as a fundamental narrative axis of the events starring Cristobal Colón, Isabel de Castilla and Fernando de Aragón. The novel presents a way to assume the world mediated by power and carnal desire, where the last one, in particular, is the factor that determines the big historical changes (...) —under these three characters— in Spain and America. (shrink)

The first book consecrated to logic, written by an andalusian author is Ibn Hazm’s Kitªb al-taqrÌb li-Êadd al-manðiq (“Introduction to definition of logic”). Where, the author seeks to adapt the logic to the simple language of the jurists. Here it is pointed out how this important treatise can depend on the logical school of Bagdad.

We present a fully relational definition of inertial systems based in the No Arbitrariness Principle, that eliminates the need for absolute inertial frames of reference or distinguished reference systems as the ``fixed stars'' in order to formulate Newtonian mechanics. The historical roots of this approach to mechanics are discussed as well. The work is based in part in the constructivist perspective of space advanced by Piaget. We argue that inertial systems admit approximations and that what is of practical use are (...) precisely such approximations. We finally discuss a slightly larger class of systems that we call ``relatively inertial'' which are the fundamental systems in a relational view of mechanics. (shrink)

La comprensión de lo histórico por medio de la “revivencia” en Dilthey confluye con la idea de re-enactment en la teoría de la imaginación histórica de Collingwood a través de la autognosis. Este conocimiento de sí constituye la actividad primordial de la comprensión histórica y es llevado a cabo por el individuo que comprende de acuerdo con los significados vitales y sociohistóricos de su época. Así, las tradiciones del empirismo y del idealismo se acercan en aras de una reflexión sobre (...) la actividad efectiva del historiador. Se analiza, entonces, cuál es el rol de la autoconciencia en el conocimiento humano, atendiendo a las diferencias entre la psicología de ambos pensadores. (shrink)